Literatur C. A. R. Hoare: An axiomatic basis for computer programming (pdf). In: Communications of the ACM. 12(10): 576-585, Oktober 1969. Zur Person Charles Antony Richard Hoare (1934) ist ein britischer Informatiker. Er erwickelte den Quicksort-Algorit...